Советский философский словарь - металогика
Связанные словари
Металогика
металогика
методология дедуктивных наук, часть логики, посвящённая изучению метатеоретич. (см. Метатеория) средствами свойству различных логич. систем и логики в целом. К М. нередко относят также метаматематику, т. е. теорию (формальных, математич.) доказательств, и теорию, определимости понятий (см. Определение). Проблемы этих теорий, относящиеся к чисто структурным свойствам различных исчислений, образуют «синтаксич. ветвь» М. (см. Синтаксис). Её «семантич, ветвь» это логич. семантика (теория смысла и теория значения), «алгебраич. ядро» к-рой оформилось в спец. логико-математич. дисциплину теорию моделей, а вопросы соотношения между экстенсиональными и интенсиональными языками (см. Экстенсиональность и Интенсионалъность) в прагматику. См. ст. Семиотика и лит. к ней.к.-л. др. теории т. н. предметной (или объектной) теории. Наиболее развитый характер имеют М. логики (наз. металогикой) и М. математики (наз. метаматематикой). Объектом рассмотрения в М. оказывается не сама но себе содержат. науч. теория, а её формальный аналог исчисление (формальная система). Подлежащая исследованию в М. содержат. теория предварительно подвергается формализации. Часть М., наз. синтаксисом, изучает структуру своей предметной теории, а также её дедуктивные средства. М. рассматривает различные интерпретации исследуемой формальной системы; эта часть М., воспринимающая предметную теорию как формализованный язык, наз. семантикой. Понятие М. впервые было выдвинуто Гильбертом в связи с его программой обоснования классич. математики средствами созданной его школой теории доказательств (метаматематики). Ряд важных метатеоретич. результатов (гл. обр. семантич. содержания) был получен Тарским.
См. также Аксиоматический метод, Метаязык.
Рейтинг статьи:
См. в других словарях
1.
(греч. meta — после, за и logos — слово, понятие, рассуждение) — теория, исследующая системы и понятия (Метатеория) совр. формальной логики. Разрабатывает вопросы теории доказательств, определимости понятий, истины в формализованных языках. интерпретации, смысла и т. д. М. делится на два раздела: логический синтаксис и логическую семантику. Развитие М. связано с построением и изучением свойств формализованных языков. Осн. работы в области М. принадлежат Фреге, представителям львовско-варшавской школы польских логиков, Гильберту, Гёделю, А. Черчу, Карнапу, Дж. Кемени и др. ...Философский энциклопедический словарь
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1735 | |
2 | 1417 | |
3 | 1216 | |
4 | 1148 | |
5 | 1136 | |
6 | 1101 | |
7 | 905 | |
8 | 834 | |
9 | 790 | |
10 | 757 | |
11 | 748 | |
12 | 732 | |
13 | 701 | |
14 | 700 | |
15 | 697 | |
16 | 682 | |
17 | 679 | |
18 | 654 | |
19 | 649 | |
20 | 630 |